 |
0 索取号:TP302-53/E801/13 作者:Asilomar Conference on Circuits、 Systems and Computers (13th : 1979 : Pacific Grove、 Calif.)、Chan、 Shu-Park、 1929-、Naval Postgraduate School (U.S.)、University of Santa Clara.、IEEE Computer Society.、 出版社:New York : Institute of Electrical and Electronics Engineers ; Long Beach, CA : available from IEEE Computer Society, c1980.
|  |
0 索取号:TP302-53/E801/12 作者:Asilomar Conference on Circuits、 Systems and Computers (12th : 1978 : Pacific Grove、 Calif.)、Xie、 Qijia.、Naval Postgraduate School (U.S.)、University of Santa Clara.、IEEE Computer Society.、 出版社:New York : Institute of Electrical and Electronics Engineers ; Long Beach, Calif. : available from IEEE Computer Society, c1979.
|
 |
0 索取号:TP31-53/E901/1982 作者:COMPSAC 82 (1982 : Chicago、 Ill.)、IEEE Computer Society.、 出版社:Silver Spring, MD (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, c1982.
|  |
0 索取号:TP31-53/E802/7 作者:Hawaii International Conference on System Sciences (7th : 1974 : University of Hawaii)、University Of Hawaii (Honolulu). Dept. of Electrical Engineering.、University Of Hawaii (Honolulu). Dept. of Information and Computer Sciences.、United States. Army Research Office、 Durham.、United States. National Science Foundation.、 出版社:[S.l.] : Western Periodicals Company, c1974.
|
 |
0 索取号:TP31-53/E803/4 作者:International Conference on Software Engineering (4th : 1979 : Munich、 Germany)、ACM Sigsoft.、IEEE Computer Society.、ACM Digital Library.、 出版社:New York : Institute of Electrical and Electronics Engineers ; Long Beach, Calif. : available from IEEE Computer Society, c1979.
|  |
0 索取号:TP303-53/E801/1 作者:Symposium on Computer Architecture (1st : 1973 : University of Florida)、Lipovski、 G. Jack.、Szygenda、 S. J.、Sigarch.、IEEE Computer Society.、University of Florida. Center for Informatics Research.、 出版社:New York : Institute of Electrical and Electronics Engineers [and] Association for Computing Machinery, 1973.
|
 |
0 索取号:TP302.2/E802 作者:Symposium on the Theory and Applications of Multiple-Valued Logic Design (1971 : Buffalo、 N.Y.)、State University of New York at Buffalo.、United States. Office of Naval Research.、 出版社:[s. l. : s. n., 1971?].
|  |
0 索取号:TP302-53/E801/10 作者:Asilomar Conference on Circuits、 Systems、 and Computers (10th : 1976 : Pacific Grove、 Calif.)、Titus、 Harold A.、University of Santa Clara.、Naval Postgraduate School (U.S.)、Institute of Electrical and Electronics Engineers. San Francisco Section、 出版社:North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1977.
|
 |
0 索取号:TP302-53/E801/8 作者:Asilomar Conference on Circuits、 Systems、 and Computers (8th : 1974 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.).、University of Santa Clara.、 出版社:North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1975.
|  |
0 索取号:TP302-53/E801/7 作者:Asilomar Conference on Circuits、 Systems and Computers (7th : 1973 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1974]
|
 |
0 索取号:TP302-53/E801/6 作者:Asilomar Conference on Circuits and Systems (6th : 1972 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:New York : IEEE, 1972.
|  |
0 索取号:TP302-53/E801/5 作者:Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1972]
|
 |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:TP3-55/E9010 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-53/E8025/1975 作者:Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、 出版社:Long Beach, CA : available from IEEE Computer Society, c1975.
|  |
0 索取号:TP3-53/E8025/1973 作者:Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、 出版社:[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.
|